COMMENT ā   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(setq pat '(($r ?a recura) ($r ?b recurb)))
C00003 ENDMK
Cā;
(setq pat '(($r ?a recura) ($r ?b recurb)))
(setq dat '(((a))((((b))))))
(defun recura (x)
       (cond ((atom x) (eq x 'a))
	     (t
	      (%umatch '(($r ?a recura)) x))))
(defun recurb (x)
       (cond ((atom x) (eq x 'b))
	     (t
	      (%umatch '(($r ?a recurb)) x))))
(%umatch pat dat)